Перевод: со всех языков на английский

с английского на все языки

logical construct

См. также в других словарях:

  • construct — [kən strukt′; ] for n. [ kän′strukt΄] vt. [< L constructus, pp. of construere < com , together + struere, to pile up, build: see STREW] 1. to build, form, or devise by fitting parts or elements together systematically 2. Geom. to draw (a… …   English World dictionary

  • Logical extreme — A logical extreme is a logical construct that is often useful in testing hypotheses. The use of a logical extreme is often the simplest way to disprove an hypothesis. Quite simply, a logical extreme is the statement of an extreme or even… …   Wikipedia

  • Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… …   Wikipedia

  • Logical symbols — Reading logical symbolism frightens many people more than it should. The very term symbolic logic sounds terrifying, and the presence of even a small amount of symbolism may deter many readers from otherwise perfectly intelligible texts. The… …   Philosophy dictionary

  • construct — I. transitive verb Etymology: Latin constructus, past participle of construere, from com + struere to build more at structure Date: 1663 1. to make or form by combining or arranging parts or elements ; build; also contrive, devise 2. to draw (a… …   New Collegiate Dictionary

  • construct — See constructive, logical construction …   Philosophy dictionary

  • Two Dogmas of Empiricism — W. V. O. Quine s paper Two Dogmas of Empiricism , published in 1951, is one of the most celebrated papers of twentieth century philosophy in the analytic tradition. The paper is an attack on two central parts of the logical positivists philosophy …   Wikipedia

  • Java Modeling Language — The Java Modeling Language (JML) follows the design by contract paradigm. It is a specification language for Java programs, using . There are various verification tools for JML, such as a runtime assertion checker and the Extended Static Checker… …   Wikipedia

  • culture — /kul cheuhr/, n., v., cultured, culturing. n. 1. the quality in a person or society that arises from a concern for what is regarded as excellent in arts, letters, manners, scholarly pursuits, etc. 2. that which is excellent in the arts, manners,… …   Universalium

  • Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… …   Wikipedia

  • Only (Nine Inch Nails song) — Only Single by Nine Inch Nails from the album With Teeth Released July 25, 2005 …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»